complicate program proof
复杂性程序证明
热门查询
- apprentice n. 学徒；生手 vt. 使…当学徒 vi. 当学徒
- ubiquitously adv. 无所不在地
- according adj. 相符的；一致的；相应的；和谐的；调和的 adv. 依照；根据；按照 v. 给予( accord的现在分词 )；使和谐一致；使符合；使适合
- belabour vt. 痛打；不断辱骂和嘲弄
- Wilsonian adj. （美国第二十八任总统）威尔逊的
- jazzed n. 爵士乐，爵士舞；喧闹 vi. 奏爵士乐，跳爵士舞；游荡 vt. 奏爵士乐；使活泼 adj. 爵士乐的；喧吵的 n. (Jazz)人名；(德)雅茨
- earthshaking adj. 极为重大的；震撼全球的
- thresher n. 打谷机；打谷者；[鱼] 长尾鲨 n. (Thresher)人名；(英)思雷舍
- hither adj. 这边的；近这边的 adv. 到这里；在这里
- booked v. 预订( book的过去式和过去分词 )；登记；（向旅馆、饭店、戏院等）预约；立案（控告某人）
- tsetse n. 采采蝇；舌蝇
- animate adj. 有生命的 vt. 使有生气；使活泼；鼓舞；推动
- snarly adj. 纠缠在一起的；善于嚣叫的；爱漫骂的；脾气坏的
- bratty adj. 讨厌的
- trachoma n. 颗粒性结膜炎，[眼科] 沙眼
- verisimilitude n. 逼真，貌似真实；逼真的事物
- mflops abbr. million floating-point operations per second 百万次运算/秒
- controversially adv. 颇有争议地；引起争议地
- handbasket = go to the dogs at dog n.
- publicness n. 公共性
考试词汇表
- rear water wall
- rear-dump wagon
- rear-engine car
- rear-hitch tool
- rear-projection
- rear-suspension
- rear-wheel-arch
- rearer workings
- rearing battery
- rearing density
- rearing station
- rearomatization
- rears of barrel
- rearticulations
- rearview mirror
- rearward facing
- reason ... into
- reason analysis
- reason of state
- reason why copy
